The C Programming Language

Results: 2005



#Item
361Computing / ISO standards / Aspect-oriented programming / Diagrams / Knowledge representation / Unified Modeling Language / Comparison of C Sharp and Java / THE multiprogramming system / ECO / Software development / Aspect-oriented software development / Software

UML4COP: UML-based DSML for Context-Aware Systems Naoyasu Ubayashi Yasutaka Kamei Kyushu University

Add to Reading List

Source URL: www.dsmforum.org

Language: English - Date: 2012-10-11 07:24:30
362Computing / Type system / Coq / Dependent type / C / Interpretation / Simply typed lambda calculus / Denotational semantics / Type theory / Programming language theory / Software engineering

COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-10-09 16:17:45
363Abstract algebra / Subroutines / Mathematical structures / Cross-platform software / Procedural programming languages / C++ classes / Algebraic structure / Fold / Function / Software engineering / Algebra / Computing

The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or

Add to Reading List

Source URL: ftp.acc.umu.se

Language: English - Date: 2003-07-17 05:02:27
364C programming language / Cross-platform software / Procedural programming languages / C11 / C / Errno.h / Ada / Fortran / Dinkumware / Computing / Software engineering / Computer programming

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2010-06-27 14:32:08
365Software engineering / Amaimon language / International Obfuscated C Code Contest / Computer programming / Computing / Unicode blocks

OFFICE OF THE OMBUDSMAN VlikoM Government 1-1

Add to Reading List

Source URL: www.finance.gov.yk.ca

Language: English - Date: 2015-04-29 03:43:43
366C programming language / Cross-platform software / C11 / C++ / C / Software engineering / Computing / Computer programming

WG14  N1542   Reply  To  The  Attention  Of:  Barry  Hedquist   Email:         ISO/IEC  JTC1  SC22/WG14  AND  INCITS  PL22.11  

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2010-12-05 10:51:17
367Cross-platform software / Computer programming / Compilers / Compiler construction / Compiler / Preprocessor / C preprocessor / OCaml / GNU Compiler Collection / Computing / Software / Programming language implementation

Environnements et Outils de Développement Cours 3 — The C build process Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot

Add to Reading List

Source URL: upsilon.cc

Language: English - Date: 2015-01-01 06:25:20
368Programming language implementation / Real-time computing / Worst-case execution time / GNU Compiler Collection / Programming tool / Toolchain / C / Software / Computing / Compilers

aiT for MPC7448 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
369Cross-platform software / Computer programming / Compilers / Compiler construction / Compiler / Preprocessor / C preprocessor / OCaml / GNU Compiler Collection / Computing / Software / Programming language implementation

Environnements et Outils de Développement Cours 3 — The C build process Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot

Add to Reading List

Source URL: upsilon.cc

Language: English - Date: 2015-01-01 06:25:18
370Compiler construction / Object file / Cross compiler / Assembly language / Compiler / Relocation / C standard library / C / Library / Software / Computing / Programming language implementation

COSMIC C Cross Compiler for Melexis MLX16 Family COSMIC’s C cross compiler for the Melexis MLX16 family of microcontrollers is part of an enhanced

Add to Reading List

Source URL: www.cosmicsoftware.com

Language: English - Date: 2012-11-16 15:12:17
UPDATE